Journal
Scientific and Technical Journal of Information Technologies, Mechanics and Optics
UDK
Issue:5 (135)
Download PDF0 Kbyte
Redundant models of testable distributed real-time computing systems
Annotation
Diagnostic issues receive a lot of attention in the design of information processing and control systems since the systems’ reliability and fault tolerance depends on the quality of their solution. The article presents the results of the development of a synthesis algorithm for a model designed to solve the problem of test diagnostics and focused on distributed computing systems. The algorithm is integrated in the system and executed in parallel with the main software of the system, which makes it possible to simplify the process of testing the system. The description of a distributed computing system, complemented by an integrated diagnostic model, is a redundant model of the system. The proposed algorithm implies a reduced amount of diagnostic information. The diagnostic model has a hierarchical structure and involves two stages. At the first stage, the algorithm calculates the set of paths that make up the coverage of its edges for the graph of intermodular connections in the system. It matches a chain of dynamic links with each of the obtained paths, the number of the links being equal to the number of software modules through which this path passes. At the second stage, the type of dynamic links is determined. It is taken into account that the desired dynamic model of the system is used to generate tests. The test design procedure is simplified if the system model is linear, controllable, and observable. Based on this, the requirements for the links of the chains of the model are formulated. The proposed algorithm makes it possible to obtain a discrete-event model for the system characterized by a reduced amount of used diagnostic information.
Keywords
Постоянный URL
Articles in current issue
- Features of images of water, ice, snow, objects and a human formed by a hybrid television camera in the near-infrared range
- Analyzing periodical textured silicon solar cells by the TCAD modeling
- Scintillation gamma radiation sensors based on solid-state photomultipliers in wireless industrial internet networks
- Improving the quality of network management of technological processes
- Geometric approach to the solution of the Dubins car problem in the formation of program trajectories
- Drift of two-dimensional vacancy islands on the Si(100) surface under electromigration conditions
- A study of the photocatalytic properties of chitosan-TiO2 composites for pyrene decomposition
- Kinetics of transformation of the atomic step bunches shape under electromigration conditions on the Si(001) surface
- Abnormal diffusion profile of adatoms on extremely wide terraces of the Si(111) surface
- An experimental methodology for assessing the probability and danger of network attacks in automated systems
- A meta-feature selection method based on the Auto-sklearn framework
- Automatic construction of the dialog tree based on unmarked text corpora in Russian
- Generic programming with combinators and objects
- Machine learning of the Bayesian belief network as a tool for evaluating the process frequency on social network data
- Software restructuring models for object oriented programming languages using the fuzzy based clustering algorithm
- The concept of managing the network structure of intelligent devices in the digital transformation of the energy industry
- Protecting facial images from recognition on social media: solution methods and their perspective
- Redundant models of testable distributed real-time computing systems
- A study of the influence of the base thickness on photoelectric parameters of silicon solar cells with the new TCAD algorithms
- A balanced algorithm of the hybrid large-particle method and its verification on some test problems
- The architecture of a system for full-text search by speech data based on a global search index
- Assessment of cerebral circulation through an intact skull using imaging photoplethysmography